Categories of domains with totality
نویسنده
چکیده
We investigate domains with totality where density in general does not hold. We define three categories of domains X with totality X̄ satisfying certain structural properties. We then define the ordered set of evaluation structures. These will induce domains with totality. We show that the set of evaluation structures in a natural way is closed under dependent sums and products and under direct limits. We investigate the topological properties of domains with totality induced from evaluation structures.
منابع مشابه
Totality of product completions
Categories whose Yoneda embedding has a left adjoint are known as total categories and are characterized by a strong cocompleteness property. We introduce the notion of multitotal category A by asking the Yoneda embedding A → [Aop,Set] to be right multiadjoint and prove that this property is equivalent to totality of the formal product completion ΠA of A. We also characterize multitotal categor...
متن کاملA note on the problem when FS-domains coincide with RB-domains
In this paper, we introduce the notion of super finitely separating functions which gives a characterization of RB-domains. Then we prove that FS-domains and RB-domains are equivalent in some special cases by the following three claims: a dcpo is an RB-domain if and only if there exists an approximate identity for it consisting of super finitely separating functions; a consistent join-semilatti...
متن کاملA Mahlo-universe of effective domains with totality
We construct a typed hierarchy of effective algebraic domains with totality of height the first recursively Mahlo ordinal. The hierarchy is based on the empty type and the domains for singleton, boolean values and natural numbers, and it is closed under dependent sums and pro-ducts of effectivly parameterised families of types, and under universes closed under a very general universe operator.
متن کاملDemonic orders and quasi-totality in Dedekind categories
This paper presents a proof of the associativity of demonic composition of relations in Dedekind categories and shows that the demonic composition is monotonic with respect to two demonic orderings on relations, which are defined by quasi-total relations, respectively.
متن کاملSex Reassignment Surgery and the Catholic Moral Tradition: Insight from Pope Pius XII on the Principle Totality
A common argument among Catholic theologians and ethicists against sex reassignment surgery (SRS) is that it either violates the principle of totality or constitutes a direct sterilization. These procedures generally fall into one of three categories: breast (augmentation mammoplasty, subcutaneous mastectomy), genital (vaginectomy, hysterectomy, scrotoplasty, phalloplasty, penectomy, castration...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997